退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关闭开放的SDL系统以使用DTSpin进行模型检查
N. Ioustinova; N. Sidorova; M. Steffen; Natalia Ioustinova; Natalia Sidorova; Martin Steffen;
机译:代理人模型检查能力:近距离观察
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:软件模型检查专刊的序言:第20届国际SPIN软件模型检查研讨会论文选集
机译:将类型检查与模型检查相结合以进行系统验证
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:代理的模型检查能力:近距离观察
机译:模型检查装置,模型检查方法以及模型检查程序
机译:模型检查程序,模型检查方法,模型检查设备
机译:LTL模型检查系统,LTL模型检查方法和LTL模型检查程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。